Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
871	Description Set Profiles: A constraint language for Dublin Co... Add to Reading List Source URL: dublincore.org Language: English - Date: 2014-12-09 22:39:40 Semantic Web Metadata Knowledge representation Constraint programming Dublin Core XML Constraint Information Data Computing
872	Real-Time Bidding Algorithms for Performance-Based Display Ad Allocation Ye Chen Microsoft [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-11 22:22:32 Convex optimization Duality Karush–Kuhn–Tucker conditions Real Time Bidding Auction theory Constraint optimization Ad serving Mathematical optimization Operations research Linear programming
873	BARF: A multiplatform open source Binary Analysis and Reverse engineering Framework Christian Heitman and Iv´an Arce Fundaci´ on Sadosky, {cnheitman,iarce}@fundacionsadosky.org.ar Add to Reading List Source URL: www.fundacionsadosky.org.ar Language: English - Date: 2014-10-23 11:23:52 Assembly languages Constraint programming Electronic design automation Satisfiability Modulo Theories X86 MOV High Level Assembly X86 assembly language Computer architecture Theoretical computer science Computing
874	Conditional Independence Lecture 2: Directed Graphical Models • Notation: xA ⊥ xB \|xC Definition: two (sets of) variables xA and xB are conditionally Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-10-06 18:57:12 Probability theory Probability and statistics Graphical model Independence Joint probability distribution Probability Constraint programming Maths24 COMPASS/Sample Code Statistics Bayesian statistics Statistical models
875	Optimizing the Chase: Scalable Data Integration under Constraints George Konstantinidis Jose´ Luis Ambite Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-09-15 04:07:20 Data management Logic programming Model theory Computing Artificial intelligence Constraint programming Programming paradigms Data integration
876	FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution)? Arie Gurfinkel1 and Anton Belov2 1 Carnegie Mellon Software Engineering Institute Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM Z3 Invariant Model checking Theoretical computer science Computing Software engineering
877	17 Constrained Optimization indent best frequently has constraints nutrition groceries ~g ≥ 0 prices ~ Add to Reading List Source URL: fab.cba.mit.edu Language: English - Date: 2014-05-06 11:25:14 Applied mathematics Lagrange multiplier Karush–Kuhn–Tucker conditions Quadratic programming Constraint Linear programming Mathematical optimization Mathematical analysis Mathematics
878	REALTIME COORDINATED REDUNDANT MOTION OF A NONHOLONOMIC MOBILE MANIPULATOR ¨nter Schreiber and Gerd Hirzinger Gu DLR Institute of Robotics and Mechatronics Add to Reading List Source URL: www.morpha.de Language: English - Date: 2003-05-12 11:42:04 Classical mechanics Mathematical analysis Algebraic topology Differential topology Operations research Holonomic Quadratic programming Nonholonomic system Constraint Mathematical optimization Physics Mathematics
879	Dual Execution of Optimized Contact Interaction Trajectories Add to Reading List Source URL: www-clmc.usc.edu Language: English - Date: 2014-08-01 22:13:49 Lagrange multiplier Trajectory optimization Quadratic programming Duality Kinematics Constraint optimization Linear programming Dynamical system Kalman filter Mathematical optimization Mathematical analysis Mathematics
880	Advanced Communication Techniques for Gyrokinetic Fusion Applications on Ultra-Scale Platforms Robert Preissl John Shalf Alice Koniges Lawrence Berkeley National Laboratory Add to Reading List Source URL: upc.lbl.gov Language: English - Date: 2011-10-10 09:37:27 Computational chemistry Constraint algorithm Co-array Fortran Science Application programming interfaces Message Passing Interface Computational physics Computational science Physics

UPDATE